(0 20 13)(1 7 4)(2 17 12)(3 19 15)(5 10 8)(6 18 16)(9 14 11)
ALLOWS (11/8)-SEQUENCE
1: (0 10 13)

(0)(1 7 4)(2 17 12)(3 19 15)(5 10 20 13 8)(6 18 16)(9 14 11)
2: (2 17 12)

(0)(1 7 4)(2)(3 19 15)(5 10 20 13 8)(6 18 16)(9 14 11)(12)(17)
3: (9 14 11)

(0)(1 7 4)(2)(3 19 15)(5 10 20 13 8)(6 18 16)(9)(11)(12)(14)(17)
4: (8 20 13)

(0)(1 7 4)(2)(3 19 15)(5 10 20)(6 18 16)(8)(9)(11)(12)(13)(14)(17)